@STRING{aaai05	= {Proceedings of the Twentieth National Conference on
		  Artificial Intelligence (AAAI-05)} }
@STRING{aaai08	= {Proceedings of the Twenty-Third AAAI Conference on
		  Artificial Intelligence (AAAI-08)} }
@STRING{aaai96	= {Proceedings of the Thirteenth National Conference on
		  Artificial Intelligence (AAAI-96)} }
@STRING{ai	= {Artificial Intelligence} }
@STRING{aips02	= {Proceedings of the Sixth International Conference on
		  Artificial Intelligence Planning and Scheduling (AIPS-02)} }
@STRING{ecai04	= {Proceedings of the Sixteenth European Conference on
		  Artificial Intelligence (ECAI-04)} }
@STRING{ecai92	= {Proceedings of the Tenth European Conference on Artificial
		  Intelligence (ECAI-92)} }
@STRING{ecp01	= {Proceedings of the Sixth European Conference on Planning
		  (ECP-01)} }
@STRING{icaps03	= {Proceedings of the Thirteenth International Conference on
		  Automated Planning and Scheduling (ICAPS-03)} }
@STRING{icaps04	= {Proceedings of the Fourteenth International Conference on
		  Automated Planning and Scheduling (ICAPS-04)} }
@STRING{icaps05	= {Proceedings of the Fifteenth International Conference on
		  Automated Planning and Scheduling (ICAPS-05)} }
@STRING{icaps07	= {Proceedings of the Seventeenth International Conference on
		  Automated Planning and Scheduling (ICAPS-07)} }
@STRING{ijcai01	= {Proceedings of the Seventeenth International Joint
		  Conference on Artificial Intelligence (IJCAI-01)} }
@STRING{ijcai05	= {Proceedings of the Nineteenth International Joint
		  Conference on Artificial Intelligence (IJCAI-05)} }
@STRING{ijcai07	= {Proceedings of the Twentieth International Joint
		  Conference on Artificial Intelligence (IJCAI-07)} }
@STRING{ijcai93	= {Proceedings of the Thirteenth International Joint
		  Conference on Artificial Intelligence (IJCAI-95)} }
@STRING{ijcai95	= {Proceedings of the Fourteenth International Joint
		  Conference on Artificial Intelligence (IJCAI-95)} }
@STRING{ijcai97	= {Proceedings of the Fifteenth International Joint
		  Conference on Artificial Intelligence (IJCAI-97)} }
@STRING{jacm	= {Journal of the ACM} }
@STRING{jair	= {Journal of Artificial Intelligence Research} }

@Article{	  ai-chang.m.bresina.j.ea:mapgen,
  author	= {M.~Ai-Chang and J.~Bresina and L.~Charest et al.},
  title		= {{MAPGEN}: Mixed-initiative planning and scheduling for the
		  mars exploration rover mission},
  journal	= {IEEE INTELL SYST},
  year		= {2004},
  volume	= 19,
  number	= 1,
  pages		= {8--12},
  month		= feb
}

@Article{	  bacchus.f.kabanza.f:using,
  author	= {Fahiem Bacchus and Froduald Kabanza},
  title		= {Using Temporal Logics to Express Search Control Knowledge
		  for Planning},
  journal	= ai,
  year		= 2000,
  volume	= 116,
  pages		= {123-191}
}

@Article{	  blum.al.furst.ml:fast,
  author	= {A.~L.~Blum and M.~L.~Furst},
  title		= {Fast planning through planning graph analysis},
  journal	= ai,
  year		= {1997},
  volume	= 90,
  pages		= {281--300}
}

@Article{	  bonet.b.geffner.h:planning,
  author	= {Blai Bonet and H\'ector Geffner},
  title		= {Planning as Heuristic Search},
  journal	= ai,
  year		= 2001,
  volume	= 129,
  number	= {1--2},
  pages		= {5--33}
}

@InBook{	  bonet.b.geffner.h:recent,
  author	= {Blai Bonet and H\'ector Geffner},
  title		= {Recent Advances in AI Planning: Proceedings of the Fifth
		  European Conference on Planning (ECP-99)},
  chapter	= {Planning as Heuristic Search: New Results},
  publisher	= {Springer},
  year		= 1999,
  volume	= {Lecture Notes in AI 1809},
  pages		= {359--371}
}

@InProceedings{	  botea.a.muller.m.ea:fast,
  author	= {Adi Botea and Martin M\"uller and Jonathan Schaeffer},
  title		= {Fast Planning with Iterative Macros},
  booktitle	= ijcai07,
  pages		= {1828--1833},
  year		= {2007},
  address	= {Hyderabad, India}
}

@InBook{	  botea.a.muller.m.ea:proceedings,
  author	= {Adi Botea and Martin M\"uller and Jonathan Schaeffer},
  title		= {Proceedings of the Third International Conference on
		  Computer and Games (CG-02)},
  chapter	= {Using Abstraction for Planning in Sokoban},
  publisher	= {Springer},
  pages		= {360--375},
  year		= {2002},
  volume	= {Lecture Notes in Computer Science 2883},
  address	= {Edmonton, Alberta, Canada}
}

@InProceedings{	  coles.a.fox.m.ea:new,
  author	= {Andrew Coles and Maria Fox and Amanda Smith},
  title		= {A New Local-Search Algorithm for Forward-Chaining
		  Planning},
  booktitle	= icaps07,
  pages		= {89--96},
  year		= {2007},
  address	= {Providence Rhode Island, United States},
  month		= {sep}
}

@InProceedings{	  cushing.w.weld.ds.ea:evaluating,
  author	= {William Cushing and Daniel S.~Weld and Subbarao
		  Kambhampati and Mausam and Kartik Talamadupula},
  title		= {Evaluating Temporal Planning Domains},
  booktitle	= {icaps07},
  pages		= {105--112},
  year		= 2007,
  address	= {Providence Rhode Island, United States},
  month		= sep
}

@Article{	  do.mb.kambhampati.s:sapa,
  author	= {Min B. Do and Subbarao Kambhampati},
  title		= {SAPA: A Multi-Objective Metric Temporal Planner},
  journal	= jair,
  year		= {2003},
  volume	= {20},
  pages		= {155--194}
}

@TechReport{	  edelkamp.s.hoffmann.j:pddl,
  author	= {Stefan Edelkamp and J\"org Hoffmann},
  title		= {{PDDL} 2.2: The Language for the Classical Part of the 4th
		  International Planning Competition},
  institution	= {},
  year		= 2004,
  number	= {195},
  month		= jan
}

@InProceedings{	  edelkamp.s.mehler.t:incremental,
  author	= {Stefan Edelkamp and Tilman Mehler},
  title		= {Incremental Hashing for Pattern Databases},
  booktitle	= {Proceedings of the Fifteenth International Conference on
		  Automated Planning and Scheduling (ICAPS-05). Poster
		  Session},
  pages		= {17--20},
  year		= 2005,
  address	= {Monterey, California, United States},
  month		= jun
}

@InProceedings{	  edelkamp.s:external,
  author	= {Stefan Edelkamp},
  title		= {External Symbolic Heuristic Search with Pattern
		  Databases},
  booktitle	= icaps05,
  pages		= {51--60},
  year		= {2005},
  month		= {June},
  address	= {Monterey, California, United States}
}

@InProceedings{	  edelkamp.s:planning,
  author	= {Stefan Edelkamp},
  title		= {Planning with Pattern Databases},
  booktitle	= ecp01,
  pages		= {13--34},
  year		= {2001},
  address	= {Toledo, Spain},
  month		= sep
}

@InBook{	  fattah.ye:innovations,
  author	= {Y.~El Fattah},
  title		= {Innovations in Applied Artificial Intelligence},
  chapter	= {Potential causality in mixed initiative planning},
  publisher	= {Springer},
  year		= 2004,
  volume	= 3029,
  pages		= {689--698},
  series	= {Lecture Notes in Computer Science}
}

@Article{	  fernandez.s.aler.r.ea:machine,
  author	= {Susana Fern\'andez and Ricardo Aler and Daniel Borrajo},
  title		= {Machine Learning in Hybrid Hierarchical and Partial-Order
		  Planners for Manufacturing Domains},
  journal	= {Applied Artificial Intelligence},
  year		= 2005,
  volume	= 19,
  number	= 8,
  month		= sep,
  pages		= {783--809}
}

@Article{	  fox.m.long.d:pddl2,
  author	= {Maria Fox and Derek Long},
  title		= {{PDDL}2.1: An Extension to {PDDL} for Expressing Temporal
		  Planning Domains},
  journal	= jair,
  year		= 2003,
  volume	= 20,
  pages		= {61--124},
  month		= dec
}

@InProceedings{	  furcy.d.koenig.s:limited,
  author	= {David Furcy and Sven Koenig},
  title		= {Limited Discrepancy Beam Search},
  booktitle	= ijcai05,
  pages		= {125--131},
  year		= 2005,
  address	= {Edinburgh, Scotland},
  month		= jul
}

@TechReport{	  gerevini.a.long.d:plan,
  author	= {Alfonso Gerevini and Derek Long},
  title		= {Plan Constraints and Preferences in {PDDL}3},
  institution	= {Department of Electronics for Automation, University of
		  Brescia, Italy},
  year		= 2005,
  month		= aug
}

@InProceedings{	  gerevini.a.serina.i.ea:local,
  author	= {Alfonso Gerevini and Ivan Serina and Alessandro Saetti and
		  Sergio Spinoni},
  title		= {Local Search Techniques for Temporal Planning in {LPG}},
  booktitle	= icaps03,
  pages		= {62--71},
  year		= 2003,
  address	= {Trento, Italy},
  month		= {jun}
}

@InProceedings{	  gerevini.a.serina.i:lpg,
  author	= {Alfonso Gerevini and Ivan Serina},
  title		= {{LPG}: A Planner Based on Local Search for Planning
		  Graphs},
  booktitle	= aips02,
  pages		= {13--22},
  year		= {2002},
  address	= {Toulouse, France},
  month		= {apr}
}

@Article{	  gerevini.ae.haslum.p.ea:deterministic,
  author	= {Alfonso E.~Gerevini and Patrik Haslum and Derek Long and
		  Alessandro Saetti and Yannis Dimopoulos},
  title		= {Deterministic Planning in the Fifth International Planning
		  Competition: {PDDL}3 and Experimental Evaluation of the
		  Planners},
  journal	= ai,
  year		= 2009,
  volume	= 173,
  pages		= {619--668}
}

@Book{		  ghallab.m.nau.d.ea:automated,
  author	= {Malik Ghallab and Dana Nau and Paolo Traverso},
  title		= {Automated Planning: Theory and Practice},
  publisher	= {Morgan Kaufmann},
  year		= {2004},
  address	= {San Francisco, CA, United States}
}

@InProceedings{	  haslum.p.bonet.b.ea:new,
  author	= {Patrik Haslum and Blai Bonet and H\'ector Geffner},
  title		= {New Admissible Heuristics for Domain-Independent
		  Planning},
  booktitle	= aaai05,
  pages		= {1163-1168},
  year		= {2005},
  address	= {Pittsburgh, United States},
  month		= {July}
}

@InProceedings{	  helmert.m.haslum.p.ea:flexible,
  author	= {Malte Helmert and Patrik Haslum and J\"org Hoffmann},
  title		= {Flexible Abstraction Heuristics for Optimal Sequential
		  Planning},
  booktitle	= icaps07,
  pages		= {176--183},
  year		= 2007,
  address	= {Providence, Rhode Island, United States},
  month		= sep
}

@Article{	  helmert.m:fast,
  author	= {Malte Helmert},
  title		= {The Fast Downward Planning System},
  journal	= jair,
  year		= 2006,
  volume	= 26,
  pages		= {191--246},
  month		= jul
}

@Article{	  hoffmann.j.brafman.ri:conformant,
  author	= {J\"org Hoffmann and Ronen I.~Brafman},
  title		= {Conformant planning via heuristic forward search: A new
		  approach},
  journal	= ai,
  year		= {2006},
  volume	= {170},
  pages		= {507--541}
}

@Article{	  hoffmann.j.edelkamp.s:deterministic,
  author	= {J\"org Hoffmann and Stefan Edelkamp},
  title		= {The Deterministic Part of {IPC}-4: An Overview},
  journal	= jair,
  year		= {2005},
  volume	= {24},
  pages		= {519--579}
}

@Article{	  hoffmann.j.nebel.b:ff,
  author	= {J\"org Hoffmann and Bernhard Nebel},
  title		= {The {FF} Planning System: Fast Plan Generation Through
		  Heuristic Search},
  journal	= jair,
  year		= 2001,
  volume	= {14},
  pages		= {253--302}
}

@InProceedings{	  hoffmann.j:local,
  author	= {J{\"o}rg Hoffmann},
  title		= {Local Search Topology in Planning Benchmarks: A
		  Theoretical Analysis},
  booktitle	= aips02,
  pages		= {379--387},
  year		= 2002,
  address	= {Toulouse, France},
  month		= apr
}

@InProceedings{	  hoffmann.j:local*1,
  author	= {J{\"o}rg Hoffmann},
  title		= {Local Search Topology in Planning Benchmarks: An Empirical
		  Analysis},
  booktitle	= ijcai01,
  pages		= {453-458},
  year		= 2001,
  address	= {Seattle, Washington, United States},
  month		= aug
}

@Article{	  hoffmann.j:metric-ff,
  author	= {J\"org Hoffmann},
  title		= {The Metric-FF Planning System: Translating ``Ignoring
		  Delete Lists'' to Numeric State Variables},
  journal	= jair,
  year		= {2003},
  volume	= {20},
  pages		= {291--341}
}

@Article{	  hoffmann.j:where,
  author	= {J\"org Hoffmann},
  title		= {Where "Ignoring Delete Lists" Works: Local Search Topology
		  in Planning Benchmarks},
  journal	= jair,
  year		= {2005},
  volume	= {24},
  pages		= {685--758}
}

@InBook{	  howey.r.long.d.ea:planning,
  author	= {R.~Howey and D.~Long and M.~Fox},
  title		= {Planning, Scheduling and Constraint Satisfaction: From
		  Theory to Practice},
  chapter	= {Plan validation and mixed-initiative planning in space
		  operations},
  publisher	= {{IOS} Press},
  year		= 2005,
  volume	= 117,
  pages		= {89--98},
  series	= {Frontiers in Artificial Intelligence and Applications}
}

@InProceedings{	  howey.r.long.d.ea:val,
  author	= {Richard Howey and Derek Long and Maria Fox},
  title		= {{VAL}: Automatic Plan Validation, Continuous Effects and
		  Mixed Initiative Planning using {PDDL}},
  booktitle	= {The Sixteenth IEEE International Conference on Tools with
		  Artificial Intelligence (ICTAI-2004)},
  pages		= {294--301},
  year		= 2004,
  address	= {Boca Raton, Florida, United States},
  month		= nov
}

@InProceedings{	  kautz.ha.selman.b:planning,
  author	= {Henry A.~Kautz and Bart Selman},
  title		= {Planning as Satisfiability},
  booktitle	= ecai92,
  pages		= {359--363},
  year		= 1992,
  address	= {Vienna, Austria},
  month		= aug
}

@InProceedings{	  kautz.ha.selman.b:pushing,
  author	= {Henry A.~Kautz and Bart Selman},
  title		= {Pushing the Envelope: Planning, Propositional Logic, and
		  Stochastic Search},
  booktitle	= aaai96,
  pages		= {1194--1201},
  year		= 1996,
  address	= {Portland, Oregon, United States},
  month		= aug
}

@Article{	  long.d.fox.m:3rd,
  author	= {Derek Long and Maria Fox},
  title		= {The 3rd International Planning Competition: Results and
		  Analysis},
  journal	= jair,
  year		= 2003,
  volume	= 20,
  pages		= {1--59},
  month		= dec
}

@TechReport{	  mcdermott.d:pddl,
  author	= {Drew McDermott},
  title		= {{PDDL} – The Planning Domain Definition Language},
  institution	= {Yale Center for Computational Vision and Control},
  year		= 1998,
  number	= {CVC TR-98-003/DCS TR-1165}
}

@Article{	  nau.d.au.t.ea:shop2,
  author	= {Dana Nau and Tsz-Chiu Au and Okhtay Ilghami and Ugur Kuter
		  and J. William Mur and Dan Wu},
  title		= {{SHOP2}: An {HTN} Planning System},
  journal	= jair,
  year		= 2003,
  volume	= 20,
  pages		= {379--404}
}

@Article{	  nguyen.x.kambhampati.s.ea:planning,
  author	= {XuanLong Nguyen and Subbarao Kambhampati and Romeo
		  S.~Nigenda},
  title		= {Planning graph as the basis for deriving heuristics for
		  plan synthesis by state space and {CSP} search},
  journal	= ai,
  year		= {2002},
  volume	= {135},
  pages		= {73--123}
}

@InProceedings{	  penner.rr.steinmetz.es:automated,
  author	= {R.~R.~Penner and E.~S.~Steinmetz},
  title		= {Automated support for human mixed initiative decision and
		  control},
  booktitle	= {42nd {IEEE} Conference on Decision and Control},
  pages		= {3549--3554},
  year		= 2003
}

@Article{	  refanidis.i.vlahavas.i:grt,
  author	= {Refanidis, I. and Vlahavas, I.},
  title		= {The GRT Planning System: Backward Heuristic Construction
		  in Forward State-Space Planning},
  journal	= jair,
  year		= 2001,
  volume	= 15,
  pages		= {115--161}
}

@Article{	  richter.s.westphal.m:lama,
  author	= {Silvia Richter and Matthias Westphal},
  title		= {The {LAMA} Planner: Guiding Cost-Based Anytime Planning
		  with Landmarks},
  journal	= jair,
  year		= 2010,
  volume	= 39,
  pages		= {127--177},
  month		= sep
}

@InProceedings{	  vidal.v:lookahead,
  author	= {Vincent Vidal},
  title		= {A Lookahead Strategy for Heuristic Search Planning},
  booktitle	= icaps04,
  pages		= {150--159},
  year		= 2004,
  address	= {Whistler, British Columbia, Canada},
  month		= jun
}

@InProceedings{	  zhou.r.hansen.ea:beam-stack,
  author	= {Rong Zhou and Eric A.~Hansen},
  title		= {Beam-Stack Search: Integrating Backtracking with Beam
		  Search},
  booktitle	= icaps05,
  pages		= {90--98},
  year		= {2005},
  month		= {June},
  address	= {Monterey, California, United States}
}

@InProceedings{	  zhou.r.hansen.ea:breadth-first,
  author	= {Rong Zhou and Eric A.~Hansen},
  title		= {Breadth-First Heuristic Search},
  booktitle	= icaps04,
  pages		= {92--100},
  year		= {2004},
  month		= {June},
  address	= {Whistler, British Columbia, Canada}
}

@InProceedings{	  zhou.r.hansen.ea:breadth-first*1,
  author	= {Rong Zhou and Eric A.~Hansen},
  title		= {Breadth-First Heuristic Search},
  booktitle	= icaps04,
  pages		= {92--100},
  year		= 2004,
  address	= {Whistler, British Columbia, Canada},
  month		= jun
}

@Article{	  zhou.r.hansen.ea:breadth-first*2,
  author	= {Rong Zhou and Eric A.~Hansen},
  title		= {Breadth-First Heuristic Search},
  journal	= ai,
  year		= 2006,
  volume	= 170,
  pages		= {385--408}
}


@InProceedings{mausamTime,
author    = {W. Cushing and S. Kambhampati and Mausam and D. Weld},
title     = {When is temporal planning {\em really} temporal planning?},
booktitle = ijcai07,
pages     = {1852--1859},
year      = {2007},
address   = {Hyderabad, India}
}
